SolSmith, AnyPoC y Mewt: nuevas herramientas avanzan la seguridad en contratos inteligentes
Investigaciones recientes presentan SolSmith, AnyPoC y Mewt para mejorar las pruebas de compiladores, la detección de errores y las pruebas de mutación en contratos inteligentes de Solidity y DAML, re...